Process Calculi for the Foundations of Peer-to-Peer Systems
نویسنده
چکیده
Peer-to-peer (p2p) systems are a fairly recent class of distributed systems. Early systems, such as Napster and SETI@Home, rely on a central server, while more recent systems like Gnutella and FastTrack are decentralized. One can also include “server peer-to-peer” systems, including USENET, MixMaster remailers and internet routing. As is common with new technologies, practice is significantly ahead of theory. I see two reasons why formal modeling and verification of peer-to-peer systems are especially interesting: The characteristics of the systems and the properties that need to be assessed.
منابع مشابه
Process calculi for the verification of security properties of communication protocols for Peer-to-Peer systems
Recent advances in communication have made the use of dynamic and reconfigurable network topologies a mandatory requirement in scenarios where the participants must actively collaborate to each other to achieve a common, specific goal. A particular case of those scenarios are the Peer-to-Peer (P2P) systems. The wide applicability of P2P-based applications and its pervasive presence in corporate...
متن کاملنقش حمایت همسالان از دانشآموزان با ناتوانی در آموزش فراگیر
Peer interaction and peer support contribute to the social development of people with disabilities and have a positive impact on improving their quality of life in the long term. Peer support is effective in increasing adjustment and increasing the quality and quantity of opportunities for participation in the classroom. However, students with disabilities in gaining peer support and acceptatio...
متن کاملA Genetic Programming-based trust model for P2P Networks
Abstract— Peer-to-Peer ( P2P ) systems have been the center of attention in recent years due to their advantage . Since each node in such networks can act both as a service provider and as a client , they are subject to different attacks . Therefore it is vital to manage confidence for these vulnerable environments in order to eliminate unsafe peers . This paper investigates the use of genetic ...
متن کاملApplication of a Heuristic Cybernetic Model in Peer-reviewing Process of Scholarly Papers
Background and Aim: This study attempts to show the cybernetics approach on peer reviewing articles to recommend an appropriate solution for increasing the qualitative level of published articles in scientific journals. Method: Heuristic Cybernetics method is suggested, based on the scientific experiences of related researches and also the mathematical principles that is an appropriate formed s...
متن کاملThe Viewpoints of Alborz University of Medical Sciences’ Faculty Members on Open Peer Review of Journal Articles
Background and Aim: The open peer review process, which is one of the peer-reviewed methods in journals, has been accepted in scientific forums. The aim of this study was to investigate the points of view of university faculty members about the open peer review process of journal articles. Materials and Methods: The study used a descriptive survey. The sample size was calculated using the Coch...
متن کامل